Formal approach to model complex adaptive computing systems
نویسندگان
چکیده
منابع مشابه
A Molecular Approach to Complex Adaptive Systems
Complex Adaptive Systems (CAS) are dynamical networks of interacting agents which as a whole determine the behavior, adaptivity and cognitive ability of the system. CAS are ubiquitous and occur in a variety of natural and artificial systems (e.g., cells, societies, stock markets). To study CAS, Holland [1], [2] proposed to employ an agent-based system in which Learning Classifier Systems (LCS) ...
متن کاملThe Complex Adaptive Systems Approach to Biology
Statistical physics has accustomed us to mathematical descriptions of systems with a large number of components. The thermodynamic properties of ideal gases were understood as early as the end of the 19th century, while those of solids were understood at the beginning of the 20th century. In both cases, two important properties make modeling easy: B These are systems in which all of the compone...
متن کاملComplex Adaptive Systems and Interactive Granular Computing
Extended Abstract. We discuss an approach to modeling of computations performed by Complex Adaptive Systems (CAS) based on Interactive Granular Computing (IGrC). Complex adaptive systems (CAS) are made up of multiple interacting elements and have the capacity to change and learn from experience. The key problems of complex systems are difficulties with their formal modeling and simulation. Some...
متن کاملA Formal Model-Based Approach to Engineering Systems-of-Systems
Systems-of-systems (SoS) are network-enabled synergistic collaborations between systems that are operationally and managerially independent, distributed, evolve dynamically and exhibit emergence. The design of dependable SoS requires modelbased approaches that permit description of contracts between constituent systems at interfaces in a SoS architecture, including functionality and interaction...
متن کاملA Formal Approach to Network/Distributed Systems Complex Testing
Deployment of network/distributed systems sets high requirements for procedures, tools and approaches for the complex testing of these systems. This work provides a survey of testing activities with regard to these systems based on standards and actual practices for both software-based and distribution (network) aspects. On the basis of this survey, we determine formal testing procedures/proces...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Complex Adaptive Systems Modeling
سال: 2020
ISSN: 2194-3206
DOI: 10.1186/s40294-020-0069-7